Decomposition of first-order hybrid Petri nets for hierarchical control of manufacturing systems

Although hybrid Petri net (HPN) is a popular formalism in modelling hybrid production systems, the HPN model of large scale systems gets substantially complicated for analysis and control due to large dimensionality of such systems. To overcome this problem, a typical approach is to decompose the net into subnets and then control the plant through hierarchical or decentralized structures. Although this concept has been widely discussed in the literature for discrete PNs, there is a lack of research for HPNs. In this paper, a new method of decomposition of first-order hybrid Petri nets (FOHPNs) is proposed first and then the hierarchical control of the subnets through a coordinator is introduced. The advantage of using the proposed approach is validated by an existing example. A sugar milling case study is analysed by using a decomposed FOHPN model and the optimization results are compared against the results of the approaches presented in other papers. Simulation results show not only an improvement in production rate, but also show the ability to control the plant online. In addition, by using the hierarchical control structure for an FOHPN model, it is possible to reduce the cost of communication links, improve the reliability of the system, maintain the plant locally, and partially redesign the system.     

Event-triggered variable horizon Supervisory Predictive control of hybrid power plants

The supervision of a hybrid power plant, including solar panels, a gas microturbine and a storage unit operating under varying solar power profiles is considered. The Economic Supervisory Predictive controller assigns the power references to the controlled subsystems of the hybrid cell using a financial criterion. A prediction of the renewable sources power is embedded into the supervisor. Results deteriorate when the solar power is unsteady, owing to the inaccuracy of the predictions for a long-range horizon of 10 s. The receding horizon is switched between an upper and a lower value according to the amplitude of the solar power trend. Theoretical results show the relevance of horizon switching, according to a tradeoff between performance and prediction accuracy. Experimental results, obtained in a Hardware In the Loop (HIL) framework, show the relevance of the variable horizon approach. Power amplifiers allow us to simulate virtual components, such as a gas microturbine, and to blend their powers with that of real devices (storage unit, real solar panels). In this case, fuel savings, reaching 15%, obtained under unsteady operating conditions lead to a better overall performance of the hybrid cell. The overall savings obtained in the experiments amount to 12%.     

Rectangular Section Control Technology for Silicon Steel Rolling

Rectangular section control technology(RSCT)was introduced to achieve high-precision profile control during silicon steel rolling.The RSCT principle and method were designed,and the whole RSCT control strategy was developed.Specifically,RSCT included roll contour design,rolling technology optimization,and control strategy development,aiming at both hot strip mills(HSMs)and cold strip mills(CSMs).Firstly,through the high-performance variable crown(HVC)work roll optimization design in the upper-stream stands and the limited shifting technology for schedule-free rolling in the downstream stands of HSMs,a hot strip with a stable crown and limited wedge,local spot,and single wave was obtained,which was suitable for cold rolling.Secondly,an approximately rectangular section was obtained by edge varying contact(EVC)work roll contour design,edge-drop setting control,and closed loop control in the upper-stream stands of CSMs.Moreover,complex-mode flatness control was realized by coordinating multiple shape-control methods in the downstream stands of CSMs.In addition,the RSCT approach was applied in several silicon-steel production plants,where an outstanding performance and remarkable economic benefits were observed.     

Friction compensation controller for load varying machine tool feed drive

The load applied to a machine tool feed drive changes during the machining process as material is removed. This load change alters the Coulomb friction of the feed drive. Because Coulomb friction accounts for a large part of the total friction the friction compensation control accuracy of the feed drives is limited if this nonlinear change in the applied load is not considered. This paper presents a new friction compensation method that estimates the machine tool load in real time and considers its effect on friction characteristics. A friction observer based on a Kalman filter with load estimation is proposed for friction compensation control considering the applied load change. A specially designed feed drive testbed that enables the applied load to be modified easily was constructed for experimental verification. Control performance and friction estimation accuracy are demonstrated experimentally using the testbed.     

核算前移在冶炼企业优化成本控制中的应用

针对国际黄金价格的走低,黄金冶炼企业如何在激烈的市场竞争中寻求更大的利润空间,优化成本控制显得尤为重要。以某冶炼厂为例,阐述核算前移在优化企业成本控制中的应用,以达到降本增效的目的,实现企业利润的最大化。     

An investigation into the cause of loss of containment from the supply of mini-bulk lubricants

An Intermediate Bulk Container (IBC) was punctured during its handling, releasing oil onto soil at an environmentally-sensitive region of Australia. The telehandler did not pierce the plastic of the IBC directly (as was expected) but rather one of the tynes had caught on the underside of the metal base plate, despite numerous controls being in place at time of spill, revealing a previously unreported mechanism for a fluid spill from handling of petroleum hydrocarbons. The diverse investigation team used a root cause analysis (RCA) technique to identify the underlying cause: the inspection process was inadequate with contributing factors of not using a spotter and design of IBC did not anticipate conditions. Engineering controls were put in place as part of the change management process to help prevent spills from occurring from piercing from telehandler tynes on the current project site.     

Automating data exchange in process choreographies

Communication between organizations is formalized as process choreographies in daily business. While the correct ordering of exchanged messages can be modeled and enacted with current choreography techniques, no approach exists to describe and automate the exchange of data between processes in a choreography using messages. This paper describes an entirely model-driven approach for BPMN introducing a few concepts that suffice to model data retrieval, data transformation, message exchange, and correlation – four aspects of data exchange. For automation, this work utilizes a recent concept to enact data dependencies in internal processes. We present a modeling guideline to derive local process models from a given choreography; their operational semantics allows to correctly enact the entire choreography from the derived models only including the exchange of data. Targeting on successful interactions, we discuss means to ensure correct process choreography modeling. Finally, we implemented our approach by extending the camunda BPM platform with our approach and show its feasibility by realizing all service interaction patterns using only model-based concepts.     

Model repair — aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.     

Global stable tracking control of underactuated ships with input saturation

In this paper, tracking control of underactuated ship in the presence of input saturation is addressed. By dividing the tracking error dynamic system into a cascade of two subsystems, the torques in surge and yaw axes are designed separately using the backstepping technique. More specifically, we design the yaw axis torque in such a way that its corresponding subsystem is finite time stable, which makes it to be de-coupled from the second subsystem after a finite time. This enables us to design the torque in the surge axis independently. It is shown that the closed-loop system is stable and the mean-square tracking errors can be made arbitrarily small by choosing design parameters. Simulation results also verify the effectiveness of the proposed scheme.     

电信运营商信息安全管控架构及集中策略研究

本文对运营商信息安全集中管控架构演进和信息安全管控策略面临的问题进行了深入分析，提出了信息安全集中管控架构的演进方向建议及对信息安全监控策略工作优化的若干意见。